B: ['resolved', 'B'].
A: ['a', 'b', 'A'].
